$\forall$$a$, $b$:$\mathbb{Z}$.
\\[0ex]($a$ $\leq$ $b$) $\Rightarrow$ ($\forall$$E$:(\{$a$..$b$$^{-}$\}$\rightarrow\mathbb{Q}$), $k$:$\mathbb{Z}$. $\Sigma$$a$ $\leq$ $j$ $<$ $b$. $E$($j$) = $\Sigma$$a$+$k$ $\leq$ $j$ $<$ $b$+$k$. $E$($j$ {-} $k$) $\in$ $\mathbb{Q}$)